МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ
НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ "ЛЬВІВСЬКА ПОЛІТЕХНІКА"
МОДЕЛЮВАННЯ СИСТЕМ
МЕТОДИЧНІ ВКАЗІВКИ
до виконання лабораторної роботи
“Дослідження замкнутих стохастичних аналітичних моделей обчислювальних систем”
для студентів базового напрямку "Комп’ютерні науки"
спеціальності “Інформаційні управляючі системи та технології”
Затверджено
на засіданні кафедри
автоматизовані системи управління
Протокол ( 1-2008/2009
від 2.09.2008 року
Львів - 2008
МОДЕЛЮВАННЯ СИСТЕМ: Методичні вказівки до виконання лабораторної роботи “Дослідження замкнутих стохастичних аналітичних моделей обчислювальних систем” для студентів базового напрямку “Комп'ютерні науки” спеціальності “Інформаційні управляючі системи та технології”.
Укл.: О.В. Кузьмін – Львів: Видавництво Національного університету “Львівська політехніка”, 2008 - 12 с.
Укладач: Кузьмін О.В., канд.техн.наук, доц.
Відповідальний за випуск: Шпак З.Я., канд.техн.наук, доц.
Рецензент: Різник В.В., док.техн.наук., проф.
Мета
Вивчення методу розрахунку замкнутих стохастичних аналітичних моделей обчислювальних систем (ОС), основаних на представленні обчислювального процесу (ОП) марківським випадковим процесом.
Теоретичні положення
Характерна особливість замкнутих стохастичних аналітичних моделей ОС на відміну від розімкнутих - наявність в ОС постійного числа активних ОП [4] (рис. 1).
Рис.1. Замкнута стохастична модель ОС:
Прі – процесор, ПВВі – пристрій вводу/виводу, КВВі –канал вводу/виводу.
Такими моделями описуються, як правило, ОС, які працюють в інтерактивному (діалоговому) режимі, коли число користувачів фіксоване, і кожен з них не ініціює нового запиту до системи поки не отримає відповіді на попередній запит. В цьому випадку кількість заявок, які циркулюють в мережі, визначається коефіцієнтом мультипрограмування М. Для однозначного опису параметрів замкнутих і розімкнутих мереж виділимо систему S0 в замкнутій мережі як фіктивне джерело заявок, при чому його інтенсивність [4] – це інтенсивність заявок, яка відповідає завершеним роботам. Інтенсивність визначає продуктивність системи. Ця величина не залежить від будь яких зовнішніх причин, а визначається конфігурацією мережі і її параметрами.
Замкнуті мережі визначаються тими самими параметрами, що і розімкнуті [4], за винятком параметра . Замість нього задається коефіцієнт мультипрограмування М, а визначається на основі розрахунку мережі.
Згідно рис.1 матриця ймовірностей передач P виглядає наступним чином:
(2.1)
В замкнутих мережах на відміну від розімкнутих стаціонарний режим завжди існує, оскільки кількість заявок, які циркулюють в мережі, постійна і визначається М. Розподіли М заявок по системах мережі визначають стани мережі. Стан М1,М2,...,МN , визначає, що в системі S1 перебуває М1 заявок, в S2 – М2 заявок і т.д.
Позначимо множину всіх можливих станів . Оскільки для замкнутої мережі , то кількість різноманітних розподілів М заявок по N системам скінчено і дорівнює кількості сполучень
, (2.2)
де - потужність множини .
Для замкнутої мережі система рівнянь, яка визначає інтенсивності [4], має безмежну кількість роз’язків. Однак з неї можно визначити співвідношення інтенсивностей потоків і , тобто коефіцієнти передач [4], які визначаються розв’язком системи, в яку підставляються значення . В цьому випадку корені системи –го порядку чисельно визначають значення .
Для визначення ймовірностей станів замкнутої мережі використовується той самий підхід, що і для визначення ймовірностей станів розімкнутої мережі [4]. У випадку замкнутих мереж вводиться додатковий нормуючий множник, який враховує той факт, що сума ймовірностей всіх станів мережі дорвнює одиниці.
Ймовірність стану замкнутої мережі визначається наступним чином
, (2.3)
де - ймовірність того, що в системі Sj знаходиться Мj заявок [4]; символ сумування по всім станам множини .
Величина
(2.4)
називається нормуючою константою.
Підставляючи значення [4] в (2.3), отримаємо
. (2.5)
На основі (2.5...